منابع مشابه
DeLorean: A Reasoner for Fuzzy OWL 1.1
Classical ontologies are not suitable to represent imprecise or vague pieces of information, which has led to fuzzy extensions of Description Logics. In order to support an early acceptance of the OWL 1.1 ontology language, we present DeLorean, the first reasoner that supports a fuzzy extension of the Description Logic SROIQ, closely equivalent to it. It implements some interesting optimization...
متن کاملBuilding an Efficient OWL 2 DL Reasoner
The Ontology Web Language (OWL) has received considerable traction recently and is used in a number of industrial and practical applications. While decidable, all basic reasoning tasks for OWL are intractable (most of them are N2ExpTime-complete). Thus, in order to obtain a system capable of solving practically-relevant nontrivial problems, a number of theoretical and practical issues need to b...
متن کاملA Probabilistic OWL Reasoner for Intelligent Environments
OWL ontologies have gained great popularity as a context modelling tool for intelligent environments due to their expressivity. However, they present some disadvantages when it is necessary to deal with uncertainty, which is common in our daily life and affects the decisions that we take. To overcome this drawback, we have developed a novel framework to compute fact probabilities from the axiom...
متن کاملELOG: A Probabilistic Reasoner for OWL EL
Log-linear description logics are probabilistic logics combining several concepts and methods from the areas of knowledge representation and reasoning and statistical relational AI. We describe some of the implementation details of the log-linear reasoner ELOG. The reasoner employs database technology to dynamically transform inference problems to integer linear programs (ILP). In order to lowe...
متن کاملELK: A Reasoner for OWL EL Ontologies
ELK is a specialized reasoner for the lightweight ontology language OWL EL. The practical utility of ELK is in its combination of high performance and comprehensive support for language features. At its core, ELK employs a consequence-based reasoning engine that can take advantage of multi-core and multi-processor systems. A modular architecture allows ELK to be used as a stand-alone applicatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Expert Systems with Applications
سال: 2012
ISSN: 0957-4174
DOI: 10.1016/j.eswa.2011.07.016